\begin{figure}[H]
\centering
\begin{minipage}{0.25\linewidth}
\begin{verbatim}
  AF($B2) = { 1 4 } {
    AF($B2) = { 1 } {
      ...
    }
    AF($B2) = { 4 } {
      ...
    }
  }
\end{verbatim}
\end{minipage}
\caption{Décomposition de la preuve de $AF(\$B2)$ pour chaque état}
\label{fig:PreuveCheminAF}
\end{figure}